Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS
نویسندگان
چکیده
Safety issues of cooperating embedded systems are very important since they are closely related to our living. In this research, modeling techniques and safety analysis techniques for cooperating embedded systems are provided. Behaviors of embedded systems and safety properties are described by Labeled Transition Systems (LTS). For convenient and effective analysis, we provide a slicing method of the state space of a system according to a property. Based on the slice models, we provided an equivalence algorithm of LTS models and a compositional analysis technique of safety properties.
منابع مشابه
Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence
Real-time systems such as aeronautic systems, medical systems, and nuclear power plant systems are generally operated in a standalone mode. In the home network and ubiquitous computing systems, integrated services related with several embedded systems are focused, which is called distributed embedded systems. Safety issues of distributed embedded systems are very important since they are closel...
متن کاملModifying a Conventional Grasping Control Approach for Undesired Slippage Control in Cooperating Manipulator Systems
There have been many researches on object grasping in cooperating systems assuming no object slippage and stable grasp and the control system is designed to keep the contact force inside the friction cone to prevent the slippage. However undesired slippage can occur due to environmental conditions and many other reasons. In this research, dynamic analysis and control synthesis of a cooperating ...
متن کاملMitigating Latent Threats Identified through an Embedded In Situ Simulation Program and Their Comparison to Patient Safety Incidents: A Retrospective Review
Objective To assess the impact of service improvements implemented because of latent threats (LTs) detected during in situ simulation. Design Retrospective review from April 2008 to April 2015. Setting Paediatric Intensive Care Unit in a specialist tertiary hospital. Intervention Service improvements from LTs detection during in situ simulation. Action plans from patient safety incidents ...
متن کاملResearch on AADL Model for Qualitative Safety Analysis of Embedded Systems
As embedded software is taking an important part in safety critical filed, how to ensure the safety of safety-critical software has recently become a research focus. Developing safety-critical and highly reliable systems almost always includes significant emphasis on safety analysis and risk assessment. There have been substantial improvements in automation and formalization of other aspects of...
متن کاملAlgorithmic Analysis of Nonlinear Hybrid Systems yThomas
Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewise-constant poly-hedral diierential inclusions. In most embedded systems, however, the environment variables have diierential inclusions that vary with the values of the v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007